Hedera: A Governing Council & Public Hashgraph Network The trust layer of the internet Leemon Baird, Mance Harmon, and Paul Madsen w h i t e pa p e r   V.1 . 4    L a s t u p d at e d 1 7 O C T   SU B J

Source URL: www.hedera.com

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Computing
• Hashgraph
• Distributed ledger
• Ethereum
• Hedera
• NEO
• Smart contract
• Draft:Hedera Hashgraph

An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA

Source URL: pxtp.github.io

• Computing
• Software engineering
• Computer programming
• Functional programming
• Subroutines
• Computability theory
• Theoretical computer science
• Computer algebra systems
• Pattern matching
• Wolfram Mathematica
• Expr
• Anonymous function

U R B A N PA R K S Communal spaces for greater sustainability Photographic artist Simon Roberts says that cities have gradually opened up more of their private land for public use, driven by the

Source URL: perspectives.pictet.com

• Landscape
• Urban planning
• Natural environment
• Sustainability
• Sustainable city
• Urban park
• Park
• Human behavior
• Nature

Alphabetical List of Bureaus and Offices on Archived http://state.gov (For current bureau and office listing, please visit http://www.state.gov/r/pa/ei/rls/dos/1718.htm) Secretary of State (S) http://.

Source URL: 2001-2009.state.gov

THE EUROPEAN PARLIAMENT: THE CITIZEN’S VOICE IN THE EU A S H O R T G U I D E TO T H E E U R O P E A N PA R L I A M E N T Europe Direct is a service to help you find answers

Source URL: www.europarl.europa.eu

• Europe
• Confederations
• European Union
• European integration
• Agencies of the European Union
• IsraelEuropean Union relations

B E L F E R C E N T E R PA P E R The Collapse of Civilizations Malcolm H. Wiener

Source URL: www.belfercenter.org

• Geography of Europe
• Europe
• Culture
• Malcolm H. Wiener
• Tourism in Greece
• Belfer
• Civilization
• Bronze Age
• Ancient history
• Greeks
• Athens
• Minoan civilization

Institutionsnamnet Motivering för omprövning av betyg på examen Namn: ____________________________________________________________________________ Kurskod: _________________ Kursnamn: _________________________________

Source URL: www.teknat.uu.se

SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

Source URL: seahorn.github.io

• Mathematics
• Symbol
• 120-cell
• Craig interpolation
• Computability theory
• Fiber bundles
• Differential topology

Poster: Understanding Free-riding Attacks in Internet Zero-rating Services Zhiheng Liu, Zhen Zhang, Shihao Jing, Zhaohan Xi and Yinzhi Cao Lehigh University 27 Memorial Dr W, Bethlehem, PA, USA [zhl416][zhza16][shj316][z

Source URL: www.ieee-security.org

• Computing
• Internet
• Computer network security
• Internet privacy
• Information and communications technology
• Transport Layer Security
• Cryptographic protocols
• Secure communication
• HTTP cookie
• HTTPS
• Deep packet inspection
• Man-in-the-middle attack

Incorporating Side Information in Tensor Completion Hemank Lamba*, Vaishnavh Nagarajan*, Kijung Shin*, Naji Shajarisales* Carnegie Mellon University 5000 Forbes Avenue Pittsburgh PA 15213, USA

Source URL: gdac.uqam.ca

• Algebra
• Linear algebra
• Mathematics
• Matrix theory
• Matrix
• Tensor
• Factorization
• Singular value decomposition
• Tensor product